1. A beginner's guide to Scala, object orientation and functional programming /
پدیدآورنده: John Hunt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)
رده :
QA76
.
7
2. A course in convexity
پدیدآورنده: Barvinok, Alexander
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Convex geometry,، Functional analysis,، Programming )Mathematics(
رده :
QA
639
.
5
.
B37
2002
3. A course in convexity
پدیدآورنده: / Alexander Barvinok
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Convex geometry,Functional analysis,Programming (Mathematics)
رده :
QA639
.
5
.
B37
2002
4. A course in convexity /
پدیدآورنده: Alexander Barvinok
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)
رده :
QA639
.
5
.
B37
2002
5. A course in convexity
پدیدآورنده: Barvinok, Alexander
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Convex geometry,، Functional analysis,، Programming )Mathematics(
رده :
QA
639
.
5
.
B37
2002
6. A course in convexity
پدیدآورنده: Barvinok, Alexander, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Convex geometry,، Functional analysis,، Programming )Mathematics(
رده :
QA
639
.
5
.
B27C6
7. A course in convexity /
پدیدآورنده: Alexander Barvinok
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)
رده :
QA639
.
5
.
B37
2002
8. A tight, practical integration of relations and functions
پدیدآورنده: Boley, Harold
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
9. Actors in Scala
پدیدآورنده: Philipp Haller, Frank Sommers
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science),Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)
رده :
QA76
.
73
.
S28
H35
2011
10. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
11. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
12. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
13. Advanced functional programmin
پدیدآورنده: / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses
رده :
QA
,
76
.
62
,.
A37
,
2009
14. Advanced functional programming
پدیدآورنده: / Johan Jeuring, Simon Peyton Jones (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses
رده :
QA
,
76
.
62
,.
A395
,
2002
15. Advanced functional programming
پدیدآورنده: / Varmo Vene, Tarmo Uustalu (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses
رده :
QA
,
76
.
62
,.
A396
,
2004
16. Advanced functional programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
17. Advanced functional programming
پدیدآورنده: / S. Doaitse Swierstra, Pedro R. Henriques, Jos?� N. Oliveira, (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses
رده :
QA
,
76
.
62
,.
A39
,
1998
18. Advanced functional programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ; Funktionale Programmierung. ; swd. ;
19. Advanced functional programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses ;
20. Advanced functional programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses ;
